Strategy Selection by Genetic Programming
نویسندگان
چکیده
Strategy parallelism is a powerful concept for applying parMicUsm to automated theorem proving. One of the most important problems to be solved in this approach is the proper distribution of the available resources mnong the different strategies. This task usually requires a lot of user expertise. When the resource distribution has to be done automatically, an adaptive algorithm must be used to optimize prover performance. We introduce a genetic algorithm that can be used for such an optimization and we show lmw such an algorithm can be integrated with other methods for automatic prover configuratkm. "Ore give some experimental data to veri~, the validity of our approach and explain g~me of the future development possibilities.
منابع مشابه
Dimensionality Reduction and Improving the Performance of Automatic Modulation Classification using Genetic Programming (RESEARCH NOTE)
This paper shows how we can make advantage of using genetic programming in selection of suitable features for automatic modulation recognition. Automatic modulation recognition is one of the essential components of modern receivers. In this regard, selection of suitable features may significantly affect the performance of the process. Simulations were conducted with 5db and 10db SNRs. Test and ...
متن کاملUsing Genetic Algorithm in Solving Stochastic Programming for Multi-Objective Portfolio Selection in Tehran Stock Exchange
Investor decision making has always been affected by two factors: risk and returns. Considering risk, the investor expects an acceptable return on the investment decision horizon. Accordingly, defining goals and constraints for each investor can have unique prioritization. This paper develops several approaches to multi criteria portfolio optimization. The maximization of stock returns, the pow...
متن کاملOptimum Maintenance Strategy Selection using a Hybrid Approach based on Analytical Hierarchy Process and Revised Multi Choice Goal Programming
This study aims to select optimal maintenance strategy for components of an electric motor of the National Iranian Oil Refining and Distribution Company. In this regard, a method based on revised multi choice goal programming and analytic hierarchy process (AHP) is presented. Since improving the equipment reliability is an important issue, reliability centered maintenance (RCM) strategies are i...
متن کاملSupplier’s Selection Based on Lean-Green Production Indicators by Goal Programming, Fuzzy DEMATEL and Fuzzy Quality Function Development
One of the most important parts of the green supply chain management (GSCM) is the green supplier. The green supplier selection process has a vague nature. Therefore, specific approaches, such as fuzzy, are necessary during their evaluation. On the other hand, the choice of a coherent and integrated strategy is vital to achieve lean and green production. Accordingly, the present study aimed to ...
متن کاملAn Integrated Decision Making Model for Manufacturing Cell Formation and Supplier Selection
Optimization of the complete manufacturing and supply process has become a critical ingredient for gaining a competitive advantage. This article provides a unified mathematical framework for modeling manufacturing cell configuration and raw material supplier selection in a two-level supply chain network. The commonly used manufacturing design parameters along with supplier selection and a subco...
متن کاملA stochastic model for project selection and scheduling problem
Resource limitation in zero time may cause to some profitable projects not to be selected in project selection problem, thus simultaneous project portfolio selection and scheduling problem has received significant attention. In this study, budget, investment costs and earnings are considered to be stochastic. The objectives are maximizing net present values of selected projects and minimizing v...
متن کامل